<!DOCTYPE html>
<html>
<head>
<script>
    window.location.replace("../docs/");
</script>
</head>
<body>
</body>
</html>